Polynomial Synthesis of Asynchronous Automata

Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes with a distributed control structure called asynchronous automaton. This paper gives a polynomial algorithm for the synthesis of a non-deterministic asynchronous automaton from a regular Mazurkiewicz trace language. This new construction is based on an unfolding approach that improves the complexity of Zielonka's and Pighizzini's techniques in terms of the number of states.Comment: The MOdelling and VErification (MOVE) tea

Multiple extraction strategies in markets with non-renewable resources

Ce mémoire s'intéresse au comportement des firmes faisant l'extraction d'une ressource naturelle non renouvelable dans des marchés oligopolistiques. Il étudie d'abord les répercussions de la contrainte associée à la ressource sur le comportement dynamique du monopole et du duopole à la Cournot. Lors de l'application des résultats théoriques à une extraction totale de la ressource en deux périodes, on trouve que les ensembles des stocks initiaux permettant respectivement une extraction à durée symétrique pour les deux firmes et une extraction à durée asymétrique coïncident en partie. Ainsi, si les stocks initiaux se retrouvent dans l'intersection de ces ensembles, il existe deux politiques d'extraction qui satisfont à une maximisation dynamique des profits des firmes en présence d'une ressource non renouvelable. Cette conclusion est contraire aux résultats traditionnels en économie des ressources naturelles et représente une voie intéressante pour la recherche future dans le domaine

Vérification de réseaux de Petri avec états sous une sémantique d'ordres partiels

National audienceIn order to study MSC specifications with counters, timers and other features, we introduce the model of Petri nets with states together with a non-branching non-sequential process semantics.We obtain a framework that is more expressive and more concise than MSGs.We consider then three classical verification problems for the set of markings reached by prefixes of processes: boundedness, covering and reachability. We show that each of these problems boils down to the equivalent problem for Petri nets. We consider also the notion of semi-structural property in order to study parametrized systems. In this way, only part of the places are provided with an initial marking. Unfolding such a system leads to a simpler problem in the form of a linear programme.Afin de munir le formalisme des MSG de compteurs, de timers et d'autres aspects, nous introduisons le modèle des réseaux de Petri avec états et une sémantique de processus non-branchants. Ce modèle est non seulement plus expressif que les MSG, mais il permet également des spécifications plus concises. Nous nous intéressons à trois problèmes de vérification classiques sur l'ensemble des marquages accessibles par les préfixes des processus : le caractère borné, la couverture et l'accessibilité. Nous montrons comment réduire ces problèmes au cas particulier des réseaux de Petri de telle sorte que tous les résultats de complexité et de décidabilité s'étendent des réseaux de Petri aux réseaux avec états sous la sémantique des processus. Nous introduisons aussi la notion de borne semi-structurelle afin de considérer des systèmes paramétrés. Cela consiste à fixer le marquage initial d'un sous-ensemble approprié de places, puis à vérifier que le système est borné quel que soit les valeurs des paramètres. Nous montrons comment un dépliage conduit à un problème plus simple à vérifier à l'aide de la Programmation Linéaire

An Economic Simulation of the Path to Sustainable Energy: A Dynamic Analysis

The existing economics literature neglects the important role of capacity in the production of renewable energy. To fill this gap, we construct a model in which renewable energy production is tied to renewable energy capacity, which then becomes a form of capital. This capacity capital can be increased through investment, which we interpret as arising from the allocation of energy, and which therefore comes at the cost of reduced general production. Requiring societal well-being to never decline—the notion of sustainability favored by economists—we describe how society could optimally elect to split energy in this fashion, the use of non-renewable energy resources, the use of renewable energy resources, and the implied time path of societal well-being. Our model delivers an empirically satisfactory explanation for simultaneous use of non-renewable and renewable energy. We also discuss the optimality of ceasing use of non-renewable energy before the non-renewable resource stock is fully exhausted

An Economic Simulation of the Path to Sustainable Energy: A Dynamic Analysis

The existing economics literature neglects the important role of capacity in the production of renewable energy. To fill this gap, we construct a model in which renewable energy production is tied to renewable energy capacity, which then becomes a form of capital. This capacity capital can be increased through investment, which we interpret as arising from the allocation of energy, and which therefore comes at the cost of reduced general production. Requiring societal well-being to never decline—the notion of sustainability favored by economists—we describe how society could optimally elect to split energy in this fashion, the use of non-renewable energy resources, the use of renewable energy resources, and the implied time path of societal well-being. Our model delivers an empirically satisfactory explanation for simultaneous use of non-renewable and renewable energy. We also discuss the optimality of ceasing use of non-renewable energy before the non-renewable resource stock is fully exhausted

L'érosion et la sédimentation des cours d'eau liées aux activités du castor: proposition d'une démarche de gestion durable

L'objectif de cet essai est de rassembler, synthétiser et analyser les connaissances liées à l'érosion et à la sédimentation des cours d'eau causées par les activités du castor. Le but est de poser un diagnostic clair, menant à un processus de gestion faunique respectueux de l'environnement, économiquement viable et facilitant l'acceptabilité sociale. Le creusage de chenaux pour transporter la nourriture est un exemple d'activité du castor génératrice de sédiments. Lorsque les conséquences de l'activité humaine s'ajoutent aux phénomènes naturels, la situation devient encore plus problématique. Par exemple, la construction de routes et de fosses contribue à augmenter le débit des cours d'eau, ce qui accentue le phénomène d'érosion au sein des barrages de castors. L'ampleur de ce phénomène a été jugée non négligeable en tant que facteur de sédimentation des cours d'eau et des lacs. L'érosion affecte l’integrité écologique des cours d'eau et des lacs, et cause des nuisances aux divers utilisateurs. Des coûts directs et indirects y sont toujours associés. Il existe néanmoins des moyens de prévention et de contrôle qui peuvent contrer ou atténuer le problème. La planification stratégique, le contrôle du niveau de l'eau des barrages de castors, le contrôle de la population par capture ou relocalisation, la réintroduction et la solidification des barrages sont les approches de gestion à mettre en place pour prévenir et contrôler l'érosion liée aux activités du castor. Cet essai propose un outil d'aide à la décision qui s'appuie sur des critères issus des principes du développement durable. Entre autres, l'outil s’appuie sur une priorité d’intervention et sur une suite logique d’étapes, qui facilite le travail du gestionnaire tout en favorisant l’acceptabilité sociale. Cette dernière est facilitée par la recherche du consensus décisionnel et par la participation active des intervenants dans le processus de décision. Les biens et services écologiques fournis par le castor ont une grande importance pour l'homme. Estimer leur valeur permet, entre autres, de motiver la volonté à payer des intervenants pour les conserver ou pour les acquérir. Il faut, en plus, de bonnes idées pour financer les projets d'aménagement de l'habitat et de mise en valeur du castor. Finalement, cet essai fait ressortir le fait qu'il est possible de cohabiter avec l'animal en bénéficiant de ses avantages, tout en évitant une bonne partie de ses inconvénients

Génération Numérique d'Hologrammes : État de l'Art

National audienceThis paper reviews Computer Generated Holography techniques applied to 3D video. Using these methods, it is possible to acquire holograms of synthetic or existing scenes without physical interference between light waves. Most limitations characterizing conventional holography, namely the need for a powerful, highly coherent laser and extreme stability of the optical system are thus avoided.Cet article présente un état de l'art des méthodes de génération numérique d'hologrammes appliquées à la vidéo 3D. Les méthodes présentées permettent de générer l'hologramme d'une scène synthétique ou réelle sans passer par le processus physique réel d'interférence entre deux ondes lumineuses. Les principales limitations liées à l'holographie conventionnelle, qui sont (1) la nécessité d'utiliser une source laser cohérente et (2) l'obligation d'avoir un système optique extrêmement stable, peuvent ainsi être évitées

On the Multiplicity of Equilibrium Strategies in a Non-Renewable Natural Resource Duopoly

We wish thank participants of the 2014 CIREQ Montreal workshop in natural resource and environmental economics. We identify two possible equilibrium configurations for a non-renewable resource duopoly in a discrete-time framework. For the purpose of illustration, we suppose initial endowments of firms that allow for a maximum of two extraction periods. In the first possible equilibrium, the duopoly exists for two periods, while in the second possible equilibrium, the duopoly lasts only for one period and the firm with the higher initial endowment becomes a monopolist in the second and last period. As neither equilibrium configuration dominates the other for both firms at the same time, it is unclear whether firms acting simultaneously can coordinate on one particular configuration. Keywords: Open-loop equilibrium, closed-loop equilibrium, duopoly, non-renewable resource Résumé: Dans le cadre d'un modèle à temps discret, nous identifions deux configurations d'équilibre possibles pour un duopole extrayant une ressource non-renouvelable. Pour des fins d'illustration, nous supposons que le stock initialement disponible pour chaque firme est tel que l'extraction perdure pour un maximum de deux périodes. Dans le premier équilibre possible, un duopole opère lors des deux périodes, alors que dans le deuxième équilibre, le duopole opère seulement lors de la première période et est suivi par une période où la firme avec un stock relativement plus élevé devient un monopole. Comme aucune des deux configurations d'équilibre ne domine l'autre, il n'est pas clair que des firmes agissant simultanément peuvent se coordonner sur une configuration en particulier

Sites géologiques touristiques en Abitibi-Témiscamigue

Les Cahiers présentent ici les résultats d'un projet de recherche conduit par un groupe d'étudiants du Collège de l'Abitibi-Témiscamingue au cours de l'été de 1983. Tout au long de ces quelque cent pages, les auteurs nous invitent à découvrir dix sites géologiques de la région, choisis pour leur beauté et l'intérêt qu'ils sauront susciter auprès des touristes. Des photos couleur, des cartes et des croquis viennent agrémenter un texte déjà très éclairant par lui-même, et le tout ainsi formé se présente comme une invitation à la découverte, un défi nouveau pour une nouvelle génération de touristes. «Sites géologiques touristiques en Abitibi-Témiscamingue» constitue donc une première pour le monde touristique régional et sans doute sera-t-il reçu comme une bouffée d'air frais dans les bureaux et kiosques des nombreuses associations vouées au développement du tourisme en Abitibi-Témiscamingue

Hierarchical Topic Models for Language-based Video Hyperlinking

International audienceWe investigate video hyperlinking based on speech transcripts , leveraging a hierarchical topical structure to address two essential aspects of hyperlinking, namely, serendipity control and link justification. We propose and compare different approaches exploiting a hierarchy of topic models as an intermediate representation to compare the transcripts of video segments. These hierarchical representations offer a basis to characterize the hyperlinks, thanks to the knowledge of the topics who contributed to the creation of the links, and to control serendipity by choosing to give more weights to either general or specific topics. Experiments are performed on BBC videos from the Search and Hyperlinking task at MediaEval. Link precisions similar to those of direct text comparison are achieved however exhibiting different targets along with a potential control of serendipity